-recursive function - PDFSEARCH.IO - Document Search Engine

-recursive function
Results: 178

#	Item
11	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
12	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group
13	Computing Fundamentals Functions Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-04-09 11:32:40 Algebra Calculus Syntax Variable Computability theory -recursive function Frchet derivative
14	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
15	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system
16	Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh Sessions and linearity Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-09 09:03:28 Computability theory Theoretical computer science Recursion Process calculi -calculus Type Linear logic Linearity Primitive recursive function operator
17	Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:32 Category theory Functional programming Algebras Boolean algebra F-algebra Functor Algebraic structure Ordinal number F-coalgebra Adjoint functors Constructible universe Free algebra
18	TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-09-25 08:51:12 Proof theory Computability theory Logic in computer science Mathematical logic Intuitionism Primitive recursive functional Dialectica interpretation Peano axioms Second-order arithmetic Reverse mathematics Combinatory logic Primitive recursive arithmetic
19	A note on the Π02–induction rule∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe-Universit¨at, Robert-Mayer-Strasse 6–10, D–60054 Frankfurt, Germany Abstract It is well–known (due to C. Parsons) that th Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:40 Predicate logic Computability theory Recursion Logic Theory of computation Primitive recursive arithmetic Primitive recursive function Quantifier First-order logic Free variables and bound variables Herbrandization
20	Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2014-04-08 12:00:27 Computability theory Functions and mappings Recursion Theory of computation Proof theory Primitive recursive function Continuous function Elementary function arithmetic Arithmetic function